$\forall$$A$, $B$:Type, $x$:$A$, $y$:$B$. inl($x$) $=$ inr($y$) $\in$ $A$+$B$ $\Rightarrow$ False